Daniel 1

Results: 2456



#Item
181

Unfolding-based Partial Order Reduction∗ César Rodríguez1 , Marcelo Sousa2 , Subodh Sharma3 , and Daniel Kroening4 1 Université Paris 13, Sorbonne Paris Cité, LIPN, CNRS, France 2,4 Department of Computer Science,

Add to Reading List

Source URL: drops.dagstuhl.de

- Date: 2015-08-25 09:27:37
    182

    Ing.Daniel Carbone DC - 1 Curriculum Vitae

    Add to Reading List

    Source URL: bahiablanca.gob.ar

    - Date: 2016-05-16 14:08:37
      183

      Causally Interpreting Intersectionality Theory Author(s): Liam Kofi Bright, Daniel Malinsky, and Morgan Thompson Source: Philosophy of Science, Vol. 83, No. 1 (January 2016), ppPublished by: The University of Chi

      Add to Reading List

      Source URL: www.liamkofibright.com

      - Date: 2016-09-23 11:29:40
        184

        Tightening Test Coverage Metrics: A Case Study in Equivalence Checking using k-Induction? Alastair F. Donaldson1 , Nannan He1 , Daniel Kroening1 , and Philipp R¨ ummer2 1

        Add to Reading List

        Source URL: www.doc.ic.ac.uk

        - Date: 2013-01-20 10:28:55
          185

          Inductive Lexical Learning of Class Expressions Lorenz B¨uhmann1 , Daniel Fleischhacker2 , Jens Lehmann1 , Andre Melo2 , and Johanna V¨olker2 1 2

          Add to Reading List

          Source URL: jens-lehmann.org

          - Date: 2016-08-19 06:05:29
            186

            DE CE IUBESC ROMÂNIA. Cercetătorul Daniel David a construit la Cluj realitatea ... Page 1 of 18 RSS 9 dec:06 • Publicitate • Horoscop

            Add to Reading List

            Source URL: danieldavidubb.files.wordpress.com

            - Date: 2013-12-15 05:43:32
              187

              Western Criminology Review 4 (1), A Closer Look at the Age, Peers, and Delinquency Relationship Daniel P. Mears Urban Institute, Justice Policy Center, Washington, DC

              Add to Reading List

              Source URL: www.westerncriminology.org

                188

                A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France

                Add to Reading List

                Source URL: people.mpi-inf.mpg.de

                - Date: 2016-12-19 05:45:29
                  189

                  Alexandra & Daniel - Pension de famille Labadié - Projet de jardin de la rue des Héros - Atelier 1 - mardi 18 octobre 2016 En bleu : les valeurs du jardin ; en orange «je souhaite que le jardin m’apporte» ; en jau

                  Add to Reading List

                  Source URL: p0.storage.canalblog.com

                  - Date: 2016-10-25 05:43:34
                    190

                    Dynamic Difficulty Using Brain Metrics of Workload Daniel Afergan1 , Evan M. Peck1 , Erin T. Solovey2 , Andrew Jenkins1 , Samuel W. Hincks1 , Eli T. Brown1 , Remco Chang1 , Robert J.K. Jacob1 1 2 Tufts University

                    Add to Reading List

                    Source URL: www.cs.tufts.edu

                    - Date: 2014-01-17 09:27:24
                      UPDATE